Global Development via Local Observational Construction Steps

نویسندگان

  • Michel Bidoit
  • Donald Sannella
  • Andrzej Tarlecki
چکیده

The way that refinement of individual “local” components of a specification relates to development of a “global” system from a specification of requirements is explored. Observational interpretation of specifications and refinements add expressive power and flexibility while bringing in some subtle problems. The results are instantiated in the context of Casl architectural specifications.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Critical Global Health: Responding to Poverty, Inequality and Climate Change; Comment on “Politics, Power, Poverty and Global Health: Systems and Frames”

A recent article by Sol Benatar calls on the global health community to reassess its approach to twin crises of global poverty and climate change. I build on his article by challenging mainstream narratives that claim satisfactory progress in efforts to reduce poverty and improve health for all, and arguing that any eradication of poverty that is consistent with environmental sustainability wil...

متن کامل

Assessment and evaluation on Livable city Case study: Tehran, Neighborhood Darake

Following the global trend of economic and social change, urbanization has been increasing. The trend that has dominated in recent decades in developing countries is the outshining of growth over development which has challenged the maintaining and improving the city residents’ quality of life. One of the most recent topics in the theory of urbanism in response to the decline of urban life h...

متن کامل

Local economic development via urbanism lever: the case of Lebanon

The present paper analyses local economic development issues through the prism of urban governance theories and models. From theoretical corpora to empirical LED case studies, we emphasise, through the anarchy paradigm, the privatisation tendencies of urban planning and development projects in local territories. We have taken an interest in comparative analysis of principal concepts and ...

متن کامل

On the Path to UHC – Global Evidence Must Go Local to Be Useful; Comment on “Disease Control Priorities Third Edition Is Published: A Theory of Change Is Needed for Translating Evidence to Health Policy”

The Disease Control Priorities (DCP) publications have pioneered new ways of thinking about investing in health. We agree with Norheim, that a useful first step to advance efforts to translate DCP’s global evidence into local health priorities, is to develop a clear Theory of Change (ToC). However, a ToC that aims to define how global evidence (DCP and others) can be used to inform national pol...

متن کامل

Positioning and Priorities of Growth Management in Construction Industrialization: Chinese Firm-Level Empirical Research

The purpose of this research is to quantitatively evaluate the growth phase, position, and priorities of the industrialization policy management of the construction industry at firm level. The goal is to integrate quantitative dynamics into the policy-making process for sustainable policy development in future China. This research proposes an integrated framework, including growth management mo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002